Topological Pure Completeness for Hybrid Logics without the Global Modality
نویسنده
چکیده
In this paper, we extend the general topological completeness result [3] of the strong hybrid language H(E) with the global modality E to the weaker hybrid language H(@) with the nominals i and the satisfaction operators @i (Theorem 1). Furthermore, we also generalize this topological completeness result of H(@) to monotonic neighborhood frames (Theorem 2).
منابع مشابه
Topological Perspective on the Hybrid Proof Rules
We consider the non-orthodox proof rules of hybrid logic from the viewpoint of topological semantics. Topological semantics is more general than Kripke semantics. We show that the hybrid proof rule BG is topologically not sound. Indeed, among all topological spaces the BG rule characterizes those that can be represented as a Kripke frame (i.e., the Alexandroff spaces). We also demonstrate that,...
متن کاملSpatial logic of tangled closure operators and modal mu-calculus
There has been renewed interest in recent years in McKinsey and Tarski’s interpretation of modal logic in topological spaces and their proof that S4 is the logic of any separable dense-in-itself metric space. Here we extend this work to the modal mu-calculus and to a logic of tangled closure operators that was developed by Fernández-Duque after these two languages had been shown by Dawar and Ot...
متن کاملThe NP-Completeness of Reflected Fragments of Justification Logics
Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than ...
متن کاملTopological Modal Logics with Difference Modality
We consider propositional modal logic with two modal operators and [ 6 =]. In topological semantics is interpreted as an interior operator and [ 6=] as difference. We show that some important topological properties are expressible in this language. In addition, we present a few logics and proofs of f.m.p. and of completeness theorems.
متن کاملHybrid logics with Sahlqvist axioms
We show that every extension of the basic hybrid logic with modal Sahlqvist axioms is complete. As a corollary of our approach, we also obtain the Beth property for a large class of hybrid logics. Finally, we show that the new completeness result cannot be combined with the existing general completeness result for pure axioms.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007